Towards an Evolutionary Formal Software Development
نویسندگان
چکیده
Although formal methods have been successfully applied in various industrial applications, their use in software development is still restricted to individual case studies. To overcome this situation we aim at a methodology for an evolutionary formal software development which allows for a stepwise and incremental development process along the line of rapid prototyping. The approach is based on work on a formal management of change for formal developments which is able to maintain proofs when changing specifica-
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملDeveloping Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem
The recent years has seen a rapid growth of research interests in agent-oriented software development methodology. A great amount of work has been reported in the literature on formal models and logics of software agents. However, how to use such formalisms in the analysis and specification of agent-based systems remains as an open problem. Alternative approaches using semi-formal diagrammatic ...
متن کاملDeveloping Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem
The recent years has seen a rapid growth of research interests in agent-oriented software development methodology. A great amount of work has been reported in the literature on formal models and logics of software agents. However, how to use such formalisms in the analysis and specification of agent-based systems remains as an open problem. Alternative approaches using semi-formal diagrammatic ...
متن کاملFormal Software Development in MAYA
The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors causing the change of parts of the specification. Also adding new functionality will result in changes of the specification which always endangers the verification work already done. In this paper we describe the system Maya whi...
متن کامل